vector space

An {additive group} on which some ({scalar})

{field} has an {associative} multiplicative action which

distributes over the addition of the vector space and respects

the addition of the (scalar) field: for vectors u, v and

scalars h, k; h(u:v) ◦ hu : hv; (h:k)u ◦ hu : ku; (hk)u ◦

h(ku).

[Simple example?]

(1996-09-30)